many-sorted predicate calculus
多种类谓词演算
热门查询
- plasmacytoma n. [肿瘤] 浆细胞瘤
- dewatering 脱水作用
- Clemente n. (Clemente)人名；(西、意、葡、罗、瑞典)克莱门特
- rootlet n. [植] 小根；支根；细根
- geographer n. 地理学者
- arsenal n. 兵工厂；军械库
- sullen adj. 愠怒的，不高兴的；（天气）阴沉的；沉闷的
- caldron n. 大锅；大汽锅
- implantation n. 移植；灌输；鼓吹
- pawpaw n. 木瓜；万寿果；巴婆树；巴婆果
- praise n. 赞扬；称赞；荣耀；崇拜 vt. 赞美，歌颂；表扬 vi. 赞美；赞扬
- textualized 文本化
- margarine n. 人造黄油；人造奶油
- castrated 阉割的
- calor [医]灼热，热：炎症的主要体征之一
- Niagara n. 尼亚加拉；尼亚加拉河
- anthropocentric adj. 以人类为中心的；以人类观点解释宇宙万物的
- overdramatize vt. 过分夸大；过分戏剧性地表达
- duell [人名] 迪尤尔
- iterative adj. [数] 迭代的；重复的，反复的 n. 反复体
考试词汇表
